Bernoulli distribution definition